Ordinal number - PDFSEARCH.IO - Document Search Engine

Ordinal number
Results: 811

#	Item
281	Binary Space Partitioning as Intrinsic Reward Wojciech Skaba AGINAO, Trubadurow 11, 80205 Gdansk, Poland Abstract. An autonomous agent embodied in a humanoid robot, in order to Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 09:59:17 Cognition Experimental psychology Human behavior Motivation Ordinal number Random variable Information theory Vector space Algebra Mathematics Probability theory
282	ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Metalogic Entailment Logical consequence Symbol Connection Ordinal number Soundness Natural deduction Curry–Howard correspondence Logic Deduction Proof theory
283	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Logic Constructible universe Ordinal number Functor Mathematical logic Mathematics Proof theory
284	Date [yyyy-mm-dd] Reference number Add to Reading List Source URL: home.freeuk.net Language: English - Date: 2002-03-13 21:05:13 Units of time ISO Calendar Gregorian calendar 0 Year Ordinal date Leap year Coordinated Universal Time Measurement Calendars Time
285	Date [yyyy-mm-dd] Reference number Add to Reading List Source URL: www.g1smd.freeuk.com Language: English - Date: 2002-03-13 21:05:13 Units of time ISO Calendar Gregorian calendar 0 Year Ordinal date Leap year Coordinated Universal Time Measurement Calendars Time
286	Constructive decidability of classical continuity Mart´ın H. Escard´o Version of January 9, 2013 Abstract We show that the following instance of the principle of excluded middle Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-01-09 04:21:20 Calculus Lipschitz maps Continuous function Uniform continuity Modulus of continuity Metric space Constructive analysis Ordinal number Uniform convergence Mathematical analysis Mathematics Topology
287	A General System for Learning and Reasoning in Symbolic Domains Claes Stranneg˚ard1 , Abdul Rahim Nizamani2 , and Ulf Persson3 1 Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Add to Reading List Source URL: agi-conf.org Language: English - Date: 2014-08-18 09:36:06 Logic in computer science Functions and mappings Lambda calculus Function Combinatory logic Aterm Axiom Algorithm Ordinal number Mathematics Mathematical logic Logic
288	This discussion paper is/has been under review for the journal Hydrology and Earth System Sciences (HESS). Please refer to the corresponding final paper in HESS if available. Discussion Paper Hydrol. Earth Syst. Sci. Di Add to Reading List Source URL: www.hydrol-earth-syst-sci-discuss.net Language: English - Date: 2015-03-11 13:23:31 Ordinal number Discharge Partial differential equation
289	ON THE CHARACTERIZATIONS OF MATRIX FIELDS AS LINEARIZED STRAIN TENSOR FIELDS Cherif AMROUCHE Laboratoire de Math´ematiques Appliqu´ees Universit´e de Pau et des Pays de l’Adour Avenue de l’Universit´e, 64000 Pau, Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2006-06-22 04:03:02 Sobolev spaces Symplectic geometry Linear algebra Fourier analysis Vector space Ordinal number Symplectic vector space Symplectic matrix Algebra Mathematics Mathematical analysis
290	Liu Bie Ju Centre for Mathematical Sciences On the Existence of Solutions to the Generalized Marguerre-von K´arm´an Equations Philippe G. CIARLET1 and Liliana GRATIE2 Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2005-10-27 23:04:40 Character encoding Digital typography Symbol Mathematics Abstraction Homeric epics Greek alphabet Ordinal number Constitutive equation

UPDATE